Hakuluettelo:
Käännös:
Herbrand universe (suomeksi)
- Määritelmät:
- (lb, en, logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)
Viimeisimmät haut: Herbrand universe, variable binding, terrestrial, White-browed Shama, cranial orbit, beclotiamine